$\forall$$a$:$\mathbb{B}$. (($\neg_{b}$$a$) $\sim$ tt) $\Rightarrow$ ($a$ $\sim$ ff)